On the DAG Decomposition

نویسندگان

  • Yangjun Chen
  • Yibin Chen
چکیده

3 Yangjun Chen, Yibin Chen 4 5 6 University of Winnipeg 7 8 9 10 11 . 12 ABSTRACT 13 14 In this paper, we propose an efficient algorithm to decompose a directed acyclic graph G into a minimized set of node-disjoint chains, which cover all the nodes of G. For any two nodes u and v on a chain, if u is above v then there is a path from u to v in G. The best algorithm for this problem up to now needs O(n) time, where n is the number of the nodes of G. Our algorithm, however, needs only O(κ⋅n) time, where κ is G’s width, defined to be the size of a largest node subset U of G such that for every pair of nodes x, y ∈ U, there does not exist a path from x to y or from y to x. More importantly, by the existing algorithm, O(n) extra space (besides the space for G itself) is required to maintain the transitive closure of G to do the task while ours needs only O(κ⋅n) extra space. 15

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Characterizing DAG-depth of Directed Graphs

We study DAG-depth, a structural depth measure of directed graphs, which naturally extends the treedepth of ordinary graphs. We define a DAG-depth decomposition as a strategy for the cop player in the lift-free version of the cops-and-robber game on directed graphs and prove its correctness. The DAG-depth decomposition is related to DAG-depth in a similar way as an elimination tree is related t...

متن کامل

DAG-width is PSPACE-complete

Berwanger et al. show in [BDH+12] that for every graph G of size n and DAGwidth k there is a DAG decomposition of width k of size nO(k). This gives a polynomial time algorithm for determining the DAG-width of a graph for any fixed k. However, if the DAG-width of the graphs from a class is not bounded, such algorithms become exponential. This raises the question whether we can always find a DAG ...

متن کامل

The dag-width of directed graphs

Tree-width is a well-known metric on undirected graphs that measures how tree-like a graph is and gives a notion of graph decomposition that proves useful in algorithm design. Treewidth can be characterised by a graph searching game where a number of cops attempt to capture a robber. We consider the natural adaptation of this game to directed graphs and show that monotone strategies in the game...

متن کامل

DAG-Width and Parity Games

Tree-width is a well-known metric on undirected graphs that measures how tree-like a graph is and gives a notion of graph decomposition that proves useful in algorithm development. Tree-width is characterised by a game known as the cops-and-robber game where a number of cops chase a robber on the graph. We consider the natural adaptation of this game to directed graphs and show that monotone st...

متن کامل

Real-Time Scheduling of Parallel Tasks under a General DAG Model

Due to their potential to deliver increased performance over single-core processors, multi-core processors have become mainstream in processor design. Computation-intensive real-time systems must exploit intra-task parallelism to take full advantage of multi-core processing. However, existing results in real-time scheduling of parallel tasks focus on restrictive task models such as the synchron...

متن کامل

DAG-width of Control Flow Graphs with Applications to Model Checking

The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to consider a measure of width for digraphs instead. We use the so-called DAG-width and show that the DAG-width of control flow graphs arising from structured (goto-free) programs is at most three. Additionally, we also give a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015